perm filename INDEX[BOO,JMC] blob sn#376575 filedate 1978-08-25 generic text, type C, neo UTF8
COMMENT āŠ—   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	list structure
C00003 ENDMK
CāŠ—;
list structure
recursive definition
recursion equation
extensional
intensional
induction
minimization schema
descending chain condition
induction
well-founded